Zur Zuverlässigkeitsmodellierung von Hardware- Software-Systemen On the Reliability Modeling of Hardware-Software-Systems

نویسندگان

  • Michael A. Kochte
  • Rafal Baranowski
چکیده

Zur Zuverlässigkeitsanalyse von Hardware-Software-Systemen ist ein Systemmodell notwendig, welches sowohl Struktur und Architektur der Hardware als auch die ausgeführte Funktion betrachtet. Wird einer dieser Aspekte des Gesamtsystems vernachlässigt, kann sich eine zu optimische oder zu konservative Schätzung der Zuverlässigkeit ergeben. Ein reines Strukturmodell der Hardware erlaubt, den Einfluss von logischer und struktureller Fehlermaskierung auf die Fehlerhäufigkeit der Hardware zu bestimmen. Allerdings kann ein solches Modell nicht die Fehlerhäufigkeit des Gesamtsystems hinreichend genau schätzen. Die Ausführung der Funktion auf dem System führt zu speziellen Nutzungsund Kommunikationsmustern der Systemkomponenten, die zu erhöhter oder verminderter Anfälligkeit gegenüber Fehlern führen. Diese Arbeit motiviert die Modellierung funktionaler Aspekte zusammen mit der Struktur des Systems. Mittels Fehlerinjektion und Simulation wird der starke Einfluss der Funktion auf die Fehleranfälligkeit des Systems aufgezeigt. Die vorgestellte Methodik, funktionale Aspekte mit in die Zuverlässigkeitsmodellierung einzubinden, verspricht eine realistischere Bewertung von Hardware-Software-Systemen.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

System Level Modeling and Performance Simulation for Dynamic Reconfigurable Computing Systems in SystemC

Martin Streubühr, Carsten Riedel, Christian Haubelt, Jürgen Teich Hardware–Software–Co–Design, Department of Computer Science 12 University of Erlangen–Nuremberg, D–91058 Erlangen, Germany {streubuehr, riedel, haubelt, teich}@codesign.informatik.uni-erlangen.de In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. by Christian Haubelt, Jürgen Teic...

متن کامل

Implementierung der Systemkonfiguration und Systemsteuerung gemĀß ASAAC

Einführung Basierend auf dem Prinzip der Integrierten Modularen Avionik (IMA) ist im vergangen Jahr die tri-nationale Technologiestudie „ASAAC“ (Allied Standard Avionics Architecture Council) nach sechsjähriger Laufzeit erfolgreich abgeschlossen worden. Sie wurde von den Verteidigungsministerien der Länder Frankreich, Großbritannien und Deutschland beauftragt. Im Verlauf der Studie wurden Vorsc...

متن کامل

Effiziente Simulation von strukturellen Fehlern für die Zuverlässigkeitsanalyse auf Systemebene

Kurzfassung—In aktueller Prozesstechnologie muss die Zuverlässigkeit in allen Entwurfsschritten von eingebetteten Systemen betrachtet werden. Methoden, die nur Modelle auf unteren Abstraktionsebenen, wie Gatteroder Registertransferebene, verwenden, bieten zwar eine hohe Genauigkeit, sind aber zu ineffizient, um komplexe Hardware/Software-Systeme zu analysieren. Hier werden ebenenübergreifende V...

متن کامل

Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen

Jens Gladigau, Frank Blendinger, Christian Haubelt und Jürgen Teich Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Universität Erlangen-Nürnberg {gladigau, blendinger, haubelt, teich}@codesign.informatik.uni-erlangen.de In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. by Christoph Scholl, Sefan Disch (Eds.). GI/ITG/GMM-Workshop, Sh...

متن کامل

Zuverlässigkeitsmechanismen für Eingebettete Systeme

Traditionelle Methoden zur Erreichung von Zuverlässigkeit haben ihren Ursprung häufig in hardware-dominierten Systemen. Software-intensive eingebettete Systeme erfordern jedoch neue Ansätze wie sie zum Beispiel von der Internationalen Norm IEC61508 vorgeschlagen werden. In diesem Zusammenhang fehlt es jedoch häufig, gerade im Zusammenhang mit Software, an den nötigen fundierten Ergebnissen. Uns...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008